在计算机理论的研究中，可以将无符号数分配给任何用特定语言编写的程序，这样的无符号数就称为哥德尔数。这种分配使得程序可以作为单一的数据项输入给其他程序。这样就可以将程序转化为歌德尔数并作为单一的数据项输入给其他程序。特别的，当一个程序以自身（转化为哥德尔数）为输入，该程序能够终止，那么这个程序就是一个自终止的程序，否则就不是。以下程序能否自终止的 （填能或否）。while x not 0 do; end; 答案: 否 分析：解析：该程序首先是一个字符串，当它转化为哥德尔数时，就成了一个非零的无符号数，若将该数赋值给程序的变量x，则程序无法终止，是一个死循环。因此，该程序不是自终止的。